backward inference

逆向推理